We study the computational complexity of the universal and quasi-equational theories of classes of bounded distributive lattices with a negation operation, i.e., a unary operation satisfying a subset of the properties of the Boolean negation. The upper bounds are obtained through the use of partial algebras. The lower bounds are either inherited from the equational theory of bounded distributive lattices or obtained through a reduction of a global satisfiability problem for a suitable system of propositional modal logic.

We study the computational complexity of the universal theory of residuated ordered groupoids, which are algebraic structures corresponding to Nonassociative Lambek Calculus. We prove that the universal theory is co $$\textsf {NP}$$ -complete which, as we observe, is the lowest possible complexity for a universal theory of a non-trivial class of structures. The universal theories of the classes of unital and integral residuated ordered groupoids are also shown to be co $$\textsf {NP}$$ -complete. We also prove the co $$\textsf {NP}$$ (...) -completeness of the universal theory of classes of residuated algebras, algebraic structures corresponding to Generalized Lambek Calculus. (shrink)

Marcel Gauchet spoke of the “eclipse of the political” during the neo-liberal era, but with the rise of populism he is now forced to speak of a “revenge of the political”. As the eclipse was discussed in terms of a new era of individualization, understood as the culmination of the “disenchantment of the world”, one has a right to ask what is the place of individualization in the era of the political’s revenge, particularly as, in the face of Covid 19, (...) the refusal to wear masks is couched in terms of the defense of individual liberties? In what is an immanent critique of Gauchet’s claims, individualization is considered under four rubrics: abstract individualization vs. concrete socialization; the dilemmas of recognition; rejection of alterity; and the loss of the sense of the social. The paper concludes that the “revenge” should be understood as a revenge of an “anti-political” politics. (shrink)

Recent summaries of psychologist James H. Leuba's pioneering studies on the religious beliefs of American scientists have misrepresented his findings and ignored important aspects of his analyses, including predictions regarding the future of religion. Much of the recent interest in Leuba was sparked by Edward J. Larson and Larry Witham's commentary in Nature , “Scientists Are Still Keeping the Faith.” Larson and Witham compared the results of their 1996 survey of one thousand randomly selected American scientists regarding their (...) religious beliefs with a similar survey published eighty years earlier by Leuba. Leuba's original studies are themselves problematical. Nonetheless, his notion that different fields of science have different impacts on the religion‐science relationship remains valid. Especially significant is his appreciation of religion as a dynamic, compelling force in human life: any waning of traditional beliefs does not mean a decrease in religious commitment but calls for a new spirituality in harmony with modern scientific teachings. Leuba's studies, placed in proper context, offer a broad historical perspective from which to interpret data about religious beliefs of scientists and the impact of science and scientists on public beliefs, and opportunity to develop new insight into the religion‐science relationship. (shrink)

A biresiduation algebra is a 〈/,\,1〉-subreduct of an integral residuated lattice. These algebras arise as algebraic models of the implicational fragment of the Full Lambek Calculus with weakening. We axiomatize the quasi-variety B of biresiduation algebras using a construction for integral residuated lattices. We define a filter of a biresiduation algebra and show that the lattice of filters is isomorphic to the lattice of B-congruences and that these lattices are distributive. We give a finite basis of terms for generating filters (...) and use this to characterize the subvarieties of B with EDPC and also the discriminator varieties. A variety generated by a finite biresiduation algebra is shown to be a subvariety of B. The lattice of subvarieties of B is investigated; we show that there are precisely three finitely generated covers of the atom. (shrink)

Christology seems to fall fairly clearly into two divisions. The first is concerned with the truth of the two propositions: ‘Christ is God’ and ‘Christ is a man’. The second is concerned with the mutual compatibility of these propositions. The first part of Christology tends to confine itself to what is sometimes called ‘positive theology’: that is to say, it is largely given over to examining the Jons revelationis —let us not prejudge currently burning issues by asking what this is—to (...) see what evidence can be found for the truth of these propositions. Clearly, the methods used will be above all those of New Testament exegesis. The second part of Christology will necessarily consist entirely of that speculative theology which is contrasted with positive theology. Even if the earliest speculation on this topic is to be found in the New Testament itself and thus becomes fair game for the exegetes, any attempt to relate the primary truths, ‘Christ is God’ and ‘Christ is a man’, to eachother is a work of reflection, and in the terminology I am using speculative. (shrink)

In a discussion-note in Mind, Father P. M. Farrell, O.P., gave an account, in what he admitted to be an embarrassingly brief compass, of the Thomist doctrine concerning evil. There is one sentence in this discussion which at first glance appears paradoxical. Father Farrell has been arguing that a universe containing ‘corruptible good’ as well as incorruptible is better than one containing ‘incorruptible good’ only. He continues: ‘If, however, they are to manifest this corruptible good, they must be corruptible and (...) they must sometimes corrupt.’ The final words, despite Father Farrell's italics, strike one as expressing, not a self-evident truth, but a non sequitur. The fact that I am capable of committing murder does not entail that I will at some time commit it. It is not immediately obvious that a similar entailment holds in the case of corruption and corruptibility. (shrink)

"This edition, which replaces the original Loeb edition..., offers text, translation, and annotation that are fully current with modern scholarship"--Front flap of dust jacket, volume 1.

One of the most extensive yet least conclusive methodological debates within religious studies revolves around the question of what, precisely, the phenomenology of religion is and what contribution it can make to the study of religion. I do not intend to answer this important question here. To do so satisfactorily would require a range of historical, philosophical and methodological inquiry which would go quite beyond the bounds of a single article. My intention in this paper is, by comparison, unambitious. It (...) is to take one view of what phenomenology of religion is and to consider an area outside that usually explored by students of religion which can, nonetheless, shed some light on how religions might be studied in a way which is in accordance with the phenomenology of religion so understood. What follows will offer an answer to the question of what contribution one particular understanding of phenomenology might make to the study of religion, but no attempt will be made to establish whether or not this particular understanding ought to be regarded as normative. (shrink)

_Verificationism_ is the first comprehensive history of a concept that dominated philosophy and scientific methodology between the 1930s and the 1960s. The verificationist principle - the concept that a belief with no connection to experience is spurious - is the most sophisticated version of empiricism. More flexible ideas of verification are now being rehabilitated by a number of philosophers. C.J. Misak surveys the precursors, the main proponents and the rehabilitators. Unlike traditional studies, she follows verificationist theory beyond the demise of (...) positivism to examine its reappearance in the work of modern philosophers. Most interestingly, she argues that despite feminism's strenuous opposition to positivism, verificationist thought is at the heart of much of contemporary feminist philosophy. _Verificationism_ is an excellent assessment of a major and influential system of thought. (shrink)

In his celebrated masterpiece, Symposium, Plato imagines a high-society dinner-party in Athens in 416 BC at which the guests - including the comic poet Aristophanes and, of course, Plato's mentor Socrates - each deliver a short speech in praise of love. The sequence of dazzling speeches culminates in Socrates' famous account of the views of Diotima, a prophetess who taught him that love is our means of trying to attain goodness. And then into the party bursts the drunken Alcibiades, the (...) most popular and notorious Athenian of the time, who insists on praising Socrates himself rather than love, and gives us a brilliant sketch of this enigmatic character. The power, humour, and pathos of Plato's creation engages the reader on every page. This new translation is complemented by full explanatory notes and an illuminating introduction. (shrink)

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, (...) the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties). (shrink)

The Statesman is Plato's neglected political work, but it is crucial for an understanding of the development of his political thinking. In some respects it continues themes from the Republic, particularly the importance of knowledge as entitlement to rule. But there are also changes: Plato has dropped the ambitious metaphysical synthesis of the Republic, changed his view of the moral psychology of the citizen, and revised his position on the role of law and institutions. In its presentation of the statesman's (...) expertise, the Statesman modifies, as well as defending in original ways, this central theme of the Republic. (shrink)

This edition of Martin Ostwald's revised version of J. B. Skemp's 1952 translation of _Statesman_ includes a new selected bibliography, as well as Ostwald's interpretive introduction, which traces the evolution in Plato's political philosophy from _Republic_ to _Statesman to Laws_--from philosopher-king to royal statesman.

In this paper, I defend teleological theories of belief against the exclusivity objection. I argue that despite the exclusive influence of truth in doxastic deliberation, multiple epistemic aims interact when we consider what to believe. This is apparent when we focus on the processes involved in specific instances (or concrete cases) of doxastic deliberation, such that the propositions under consideration are specified. First, I out- line a general schema for weighing aims. Second, I discuss recent attempts to defend the teleological (...) position in relation to this schema. And third, I develop and defend my proposal that multiple epistemic aims interact in doxastic deliberation—a possibility which, as of yet, has received no serious attention in the literature. (shrink)

A study in philosophical logic of the meaning of 'true'. Dr Williams demonstrates the shortcomings of various analyses which interpret 'true' as a predicate or truth as a relational property, and clears up a number of important points about propositions, quantification, definite descriptions and correspondence. This 'deflationary metaphysics' is interwoven with a positive theory of his own, which seeks to develop ideas about the late Arthur Prior. The work is marked throughout by great clarity, precision and thoroughness.